Locating a source of sound (as an enemy gun) by measurements of the time the sound arrives at microphones in known positions